export class Proposition {}
